機譯:基于對齊的框架,用于檢查聲明性過程模型的符合性并預(yù)處理事件日志數(shù)據(jù)
機譯:過程一致性檢查的事件日志的部分順序解析
機譯:在線一致性檢查:將事件流與前綴對齊方式進行處理模型
機譯:基于事件日志的過程模型的層次一致性檢查
機譯:使用符號模型檢查對化學(xué)過程進行事件建模和驗證。
機譯:基于GPS軌跡數(shù)據(jù)的出租車超速事件的貝葉斯分層空間計數(shù)建模
機譯:基于事件日志的過程模型層次一致性檢驗
機譯:基于符號模型檢驗的分層任務(wù)網(wǎng)絡(luò)規(guī)劃器